SysML Aided Safety Analysis for Safety-Critical Systems
نویسندگان
چکیده
منابع مشابه
ADDRESSING SAFETY ANALYSIS TECHNIQUE USING SysML (2.0) PARAMETRIC DIAGRAM
Complex safety critical systems are widely used in avionic, nuclear, medical, robotic, automation industries and defence applications. Safety critical system relies a lot on software, either it ensures a system's safety or can expose it by putting the system into a dangerous state. Therefore, when handling with safety critical systems, the first important step is to do hazards identification. B...
متن کاملModel-based Reliability And Safety Analysis, Fosters Agility In Design Of Mission-Critical Systems
In Systems Engineering Verification and Testing for Reliability and Safety are the most complex, error-prone and expensive tasks. This paper explains how Model Based Systems Engineering Techniques and Methodologies, powered by SysML, can facilitate Agility in Design for Reliability and Safety of Mission-Critical Systems in several Industries like Aerospace, Medical, Automotive, Transportation. ...
متن کاملAligning SysML with the B Method to Provide V&V for Systems Engineering
Systems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of SysML that is usable by system engineers, while still amenable to automatic transformation towards formal verification tools. As we are interested...
متن کاملReliability study of complex physical systems using SysML
The development of safety critical systems becomes even harder since the complexity of these systems grows continuously. Moreover, this kind of process involves the use of powerful design methods and precise reliability techniques that utilize dissimilar models and construction policy. In this article we propose a method to unify and enhance this process by linking functional design phase using...
متن کاملSySTEMA SYstem & Safety Tool for Executing Model-Based Analyses
This paper presents SySTEMA, an innovative approach to perform Safety Analyses on complex systems, based on the modelling of their functionalities, behaviors and architecture. System safety analysis techniques are well known and are extensively used during the design of safety-critical systems. Since these analyses are highly subjective and dependent on the skill of the practitioner, it is unli...
متن کامل